# -*- mode: snippet -*-
# name: Functional Scheme
# key: fs
# uuid: fs
# --
Functional Scheme ${1:name} := Induction for ${2:fun}.
